$\forall$$T$:Type, ${\it as}$,${\it bs}$:($T$ List). $\parallel$append(${\it as}$; ${\it bs}$)$\parallel$ = ($\parallel$${\it as}$$\parallel$ + $\parallel$${\it bs}$$\parallel$)